//
// Created by wkm on 2023-12-03.
//

#include "state_update.h"

void state_update::prc_state_update() {
    switch (current_state) {

        case s0:
        case s3:
            z = 0;
            break;
        case s1:
            z = 3;
            break;
    }
}